CatDat

Implication Details

Assumptions: self-dualwide pullbacks

Conclusions: wide pushouts

Reason: This holds by self-duality.